退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:有条件信息流的软件合同的规范和检查⋆
Torben Amtoft; John Hatcliff; Edwin Rodríguez; Jonathan Hoag; David Greve; Rockwell Collins;
机译:使用可扩展的软件模型检查框架检查JML规范
机译:使用AIG解算器的一阶逻辑规范的模型检查软件
机译:早期软件产品线规格中的一致性检查-VCC方法
机译:有条件信息流的软件合同的规范和检查
机译:用于大型软件规格的符号模型检查。
机译:条件模型兼容时联合模型和全条件规范多重插补的相对效率:通用位置模型
机译:规范和检查有条件信息流的软件合同
机译:通过模型检查抽象形式规范生成软件测试
机译:软件规格检查服务器,软件开发方法,软件开发系统,记录介质记录软件规格检查程序,以及记录介质记录软件开发程序
机译:用于固定板的基于Web的软件开发包括通过Web界面接收客户规范,检查,自动生成适用的软件,以电子方式交付
机译:范围界定与自动规范推断,可扩展的软件模型检查
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。